#pragma once

extern u64 sched_clock_cpu(int cpu);
